Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
621	LNCSComputational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:56:56 Models of computation Computability theory Turing machine Probabilistic complexity theory Probabilistic Turing machine Computational complexity theory Randomized algorithm Algorithm NP Theoretical computer science Applied mathematics Computer science
622	BIBLIOGRAPHIE GÉNÉRALE ABELSON H., SUSSMAN G. J., SUSSMAN J., 1985, Structure and Interpretation of Computer Programs, The MIT Press, Cambridge/McGraw-Hill Book Company, New York. A B R A M S K I S., 1987, Domain Theo Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:11 Provability logic Logic Philosophy Laurent Thévenot Charles W. Morris bibliography Year of birth missing Modal logic Proof theory
623	This is a non-printable proof of an article published in Survival, vol. 51, no. 3 (June–July 2009), pp. 163–182. The published version is available for subscribers or pay-per-view by clicking here or visiting http:// Add to Reading List Source URL: fsi.stanford.edu Language: English - Date: 2014-04-07 16:04:15 Nuclear warfare International security Cold War No first use Deterrence theory Nuclear Non-Proliferation Treaty Weapon of mass destruction Nuclear proliferation Doctrine for Joint Nuclear Operations International relations Nuclear strategies Nuclear weapons
624	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
625	1 Princeton Companion to Mathematics Proof Probabilistic Models of Critical Phenomena Add to Reading List Source URL: www.math.ubc.ca Language: English - Date: 2004-11-22 16:01:13 Critical phenomena Phase transitions Graph theory Lattice models Percolation theory Random graph Connectivity Schramm–Loewner evolution Percolation Mathematics Combinatorics Physics
626	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics
627	x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°×x°=x° THE INDEX FORM Add to Reading List Source URL: www.pilearn.com Language: English - Date: 2014-09-26 03:15:35 Proof theory Exponentiation Mathematical analysis Taylor series Mathematics Abstract algebra Mathematical fallacy
628	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Automated theorem proving Proof theory Mathematical proofs Logical syntax First-order logic Proof assistant Theorem Isabelle Natural deduction Logic Mathematics Mathematical logic
629	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Proof theory Symbol Sequent calculus Model theory First-order logic Mathematical logic Logic Metalogic
630	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics

UPDATE